1. A 25-Year Perspective on Logic Programmin

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer science.,Information theory.,Logic design.,Artificial intelligence.

2. Algebraic and Logic Programming :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic design.

3. Argumentation Machines :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic.

4. Artificial Intelligence in Logic Design

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.

5. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence

رده :
QA
267
.
P87
2010

6. Automated Deduction -- CADE-12 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

7. Automated Deduction -- Cade-13 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

8. Automated Mathematical Induction

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic.

رده :
QA76
.
9
.
A96
E358
1996

9. Automation of Reasoning :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

رده :
QA76
.
9
.
A96
E358
1983

10. Beyond Two: Theory and Applications of Multiple-Valued Logic

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Algebra.,Artificial intelligence.,Computer science.,Logic design.

11. Biomimetic and Biohybrid Systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer network architectures.,Computer science.,Computer vision.,Logic design.,Operating systems (Computers),Artificial intelligence-- Biological applications.,Biomimicry.,Natural computation.,Operating systems (Computers)

رده :
T173
.
8
.
L58
2019

12. Clausal form logic : an introduction to the logic of computer reasoning

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning

رده :
QA
76
.
76
.
E95R53
1989

13. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning

پدیدآورنده:

کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)

موضوع: Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical

رده :
QA
76
.
76
.
E95G67
1991

14. Computational Logic :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic design.

رده :
QA76
.
9
.
A96
E358
1990

15. Computer Aided Verification :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.

رده :
QA76
.
758
.
C38
2019

16. Constraint Solving and Language Processing

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.

17. Current trends on knowledge-based systems

کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)

موضوع: Expert systems (Computer science) ,Artificial intelligence,Computer science,Internet of things,Algorithms,Logic, Symbolic and mathematical,Data mining

رده :
QA76
.
76
.
E95
C8
2017

18. Current trends on knowledge-based systems

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical

رده :
006
.
3
C976
2017
21

19. Descriptional complexity of formal systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.

رده :
QA76
.
5913
D34
2019

20. Developments in Language Theory

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;